Search Results
Pursuing Practical Refinement Types by Michael Perucca
Vortex - Refinement Types
Functional correctness with refinement types for Rust
Refined Types in Scala | Rock the JVM
An Introduction to Refinement Types
[ICFP'22] Safe Couplings: Coupled Refinement Types
PLSE Seminar Series Ranjit Jhala, "Refinement Types for Dynamic Languages"
[TyDe'22] A Hoare-Logic Style Refinement Types Formalisation
Decorate your types with refined – Frank Thomas
Dependent Types with David Christiansen – Functional Futures
KEYNOTE Simply Scala Martin Odersky
Magda Stożek GET MORE CLARITY WITH OPAQUE TYPES IN SCALA 3 Scalar Conference 2023